- backward inferencing
- обратное умозаключение, обратное логическое умозаключение (в экспертной системе), обратная цепочка умозаключений
English-Russian dictionary of mechanical engineering and automation. - RUSSO. B.S. Voskoboinikov, V.L. Mitrovich. 2003.